<?php
/*
 * http_test.inc.php
 *
 * Funzioni per testare dettagli HTTP.
 */



function test_print_uri_handler ()
/*
 * Stampa l'URI richiesto dallo User Agent e lo script che ha gestito la 
 * richiesta.
 */
{
	echo '$_SERVER["REQUEST_URI"] = ' . $_SERVER['REQUEST_URI'] . '<br />';
	echo '$_SERVER["PHP_SELF"] = ' . $_SERVER['PHP_SELF'] . '<br />';
}
?>
